2

Proof nets and the call-by-value λ-calculus

Year:
2015
Language:
english
File:
PDF, 521 KB
english, 2015
7

On the Value of Variables

Year:
2017
Language:
english
File:
PDF, 397 KB
english, 2017
10

(In)Efficiency and Reasonable Cost Models

Year:
2018
Language:
english
File:
PDF, 292 KB
english, 2018
11

Preface

Year:
2019
Language:
english
File:
PDF, 105 KB
english, 2019